truth values of predicates